1. Automated Reasoning with Analytic Tableaux and Related Methods
پدیدآورنده : \ Hans De Nivelle (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Automatic theorem proving -- Congresses.,Programming Techniques.,Software engineering.,مهندسی نرم افزار
رده :
QA
76
.
9
.
A96
2015
E-Book
,
2. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
3. Automated theorem proving in software engineering
پدیدآورنده : Schumann, Johann M.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Software engineering,، Automatic theorem proving
رده :
QA
76
.
758
.
S38
2001
4. Automated theorem proving in software engineering
پدیدآورنده : Johann M. Schumann ; foreword by Donald Loveland,Title
کتابخانه: (مازندران)
موضوع : Software engineering,Automatic theorem proving
رده :
QA
.
S38
76
.
758
2001